Standardization and safety control generation for SNCF systems engineer

This paper presents an original approach developed within an industrial thesis, financed by the SNCF (French acronym for National Society of French Railways). The aim is to standardize the work of electric traction of railway transportation. This approach is composed of two axes. Firstly, a standardized generation of deliverables is done to help the systems engineers keeping their concentration on cognitive task and to avoid repetitive tasks which can lead to mental underload. Secondly, a robust filter based on the use of safety constraints is integrated. This controller is then constrained by the functional programs, already established and used by the SNCF. The system safety is insured by the robust filter which has been formally verified by model-checking.